~ systems can be modeled by their constraints

— core idea of constraint-based modeling